Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, ... / Programming and Software Engineering)
by
ISBN 13: 9783540708889
Format: Paperback (235 pages) Publisher: Springer Published: 09 Feb 2007
Save for later
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... / Programming and Software Engineering)
ISBN 13: 9783642192364
Format: Paperback (179 pages) Publisher: Springer Published: 10 Feb 2011